Language-based system - PDFSEARCH.IO - Document Search Engine

Language-based system
Results: 412

#	Item
191	Preservation of Digital Data with Self-Validating, Self-Instantiating Knowledge-Based Archives Bertram Lud¨ascher Richard Marciano Add to Reading List Source URL: www.sdsc.edu Language: English - Date: 2002-08-27 02:38:28 Information XML Data Archival science Digital libraries Data exchange Encoded Archival Description Open Archival Information System Standard Generalized Markup Language Computing Technical communication Markup languages
192	A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:25 Mathematical logic Logical syntax Metalogic Well-formed formula Interpretation Unmanned aerial vehicle Golden ratio Linear temporal logic Action description language Logic Formal languages Mathematics
193	Stream-Based Middleware Support for Embedded Reasoning∗ Fredrik Heintz, Jonas Kvarnstr¨om and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, jonkv, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:44:42 Knowledge representation Cognition Database management systems Middleware Systems engineering Reasoning system Database Frame language Spatial–temporal reasoning Artificial intelligence Reasoning Science
194	Link¨ oping Studies in Science and Technology Thesis No[removed]The Use of Case-Based Reasoning in a Human-Robot Dialog System Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:51:19 User interfaces Multimodal interaction Dialog system Systems engineering Dialogue Open Programming Language Dialog Humanâ€“computer interaction Software Computing
195	A Comparison of Product-based, Feature-based, and Family-based Type Checking Sergiy Kolesnikov Alexander von Rhein Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-25 17:43:12 Software development Technology Model checking Type system Feature model Prototype Programming language Software bug Management Business Product family engineering Product management
196	Dear parent/guardian [or actual name]: Since 2011, teachers and students across Washington have been transitioning to new K–12 Washington State Learning Standards (the Common Core State Standards) in English language a Add to Reading List Source URL: www.k12.wa.us Language: English - Date: 2015-01-13 18:54:26 Common Core State Standards Initiative Massachusetts Comprehensive Assessment System Standards-based assessment Education Education reform Washington Assessment of Student Learning
197	ADOPTED JUNE[removed]OHIO’S NEW LEARNING STANDARDS: English Language Standards English Language Standards Add to Reading List Source URL: education.ohio.gov Language: English - Date: 2015-01-23 11:11:32 National Assessment of Educational Progress Standards-based education reform Achievement gap in the United States Pennsylvania System of School Assessment Education reform Education Common Core State Standards Initiative
198	ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2014-09-03 04:48:12 Zero-knowledge proof Non-interactive zero-knowledge proof Commitment scheme IP NP RSA Public-key cryptography Alice and Bob Cryptographic primitive Cryptography Cryptographic protocols Proof of knowledge
199	OIX IDAP Alpha Project - Technical Findings Warwickshire County Council - using a Federated UK Government ID in trusted Local Authority transactions. By Graham Dunnings and Ian Litton 1 Add to Reading List Source URL: oixuk.org Language: English - Date: 2014-04-24 07:01:11 Computer security Federated identity SAML 2.0 OpenID Security Assertion Markup Language SAML-based products and services OAuth Identity assurance Lightweight Directory Access Protocol Identity management Identity System software
200	 www.systransoft.com Expert System and SYSTRAN: Semantic Technology for Multilingual Big Data Paris, France, 15 December[removed]SYSTRAN, the market leader in language-translation products Add to Reading List Source URL: www.systransoft.com Language: English - Date: 2014-12-15 05:38:39 Artificial intelligence SYSTRAN Artificial intelligence applications Data analysis Natural language processing Expert System S.p.A. Rule-based machine translation Text analytics Machine translation Computational linguistics Science

UPDATE